xc core structures are not Linux specific.

Signed-off-by: John Levon <john.levon@sun.com>

diff --git a/tools/libxc/xenctrl.h b/tools/libxc/xenctrl.h
index f6d982952adc25159688795ea907a023af9173e3..8689b18cbd74e1995a06523edb85fab5bf4a2821 100644 (file)
--- a/tools/libxc/xenctrl.h
+++ b/tools/libxc/xenctrl.h
@@ -104,11 +104,6 @@ int xc_find_device_number(const char *name);
  * DOMAIN DEBUGGING FUNCTIONS
  */
 
-#ifdef __linux__
-
-#include <sys/ptrace.h>
-#include <thread_db.h>
-
 typedef struct xc_core_header {
     unsigned int xch_magic;
     unsigned int xch_nr_vcpus;
@@ -120,6 +115,11 @@ typedef struct xc_core_header {
 
 #define XC_CORE_MAGIC 0xF00FEBED
 
+#ifdef __linux__
+
+#include <sys/ptrace.h>
+#include <thread_db.h>
+
 void * map_domain_va_core(
     unsigned long domfd,
     int cpu,